% This is "sig-alternate.tex" V1.9 April 2009
% This file should be compiled with V2.4 of "sig-alternate.cls" April 2009
%

\documentclass{sig-alternate}
  \pdfpagewidth=8.5truein
  \pdfpageheight=11truein

\usepackage{macro}
\usepackage{times}
  
\usepackage{enumerate,intestazione}


\newtheorem{theorem}{Theorem}%[section]
\newtheorem{lemma}{Lemma}
%\newtheorem{lemma*}{Lemma}
%\newtheorem{proposition}[theorem]{Proposition}
%\newtheorem{property}[theorem]{Property}
%\newtheorem{corollary}[theorem]{Corollary}
%\newtheorem{newnotation}[theorem]{Notation}
%\newtheorem{convention}[theorem]{Convention}
%%\newtheorem*{claim}{Claim}
\newtheorem{definition}{Definition}
%
%%\theoremstyle{definition}
%\newtheorem{example}[theorem]{Example}
%\newcommand{\be}{\begin{example}}
%\newcommand{\ee}{\end{example}}
%
%%\theoremstyle{remark}
%\newtheorem{remark}[theorem]{Remark}
%\newtheorem{criteria}[theorem]{Criteria}


\begin{document}
%
% --- Author Metadata here ---
\conferenceinfo{SAC'13}{March 18-22, 2013, Coimbra, Portugal.}
\CopyrightYear{2013} % Allows default copyright year (2002) to be over-ridden - IF NEED BE.
\crdata{978-1-4503-1656-9/13/03}  % Allows default copyright data (X-XXXXX-XX-X/XX/XX) to be over-ridden.
% --- End of Author Metadata ---

\title{Disciplined Structured Communications with \\ Consistent Runtime Adaptation}
%\title{Safe Adaptation Disciplined Structured Communications with Disciplined Adaptation}
%\subtitle{[Extended Abstract]
%\titlenote{A full version of this paper is available as
%\textit{Author's Guide to Preparing ACM SIG Proceedings Using
%\LaTeX$2_\epsilon$\ and BibTeX} at
%\texttt{www.acm.org/eaddress.htm}}}
%
% You need the command \numberofauthors to handle the 'placement
% and alignment' of the authors beneath the title.
%
% For aesthetic reasons, we recommend 'three authors at a time'
% i.e. three 'name/affiliation blocks' be placed beneath the title.
%
% NOTE: You are NOT restricted in how many 'rows' of
% "name/affiliations" may appear. We just ask that you restrict
% the number of 'columns' to three.
%
% Because of the available 'opening page real-estate'
% we ask you to refrain from putting more than six authors
% (two rows with three columns) beneath the article title.
% More than six makes the first-page appear very cluttered indeed.
%
% Use the \alignauthor commands to handle the names
% and affiliations for an 'aesthetic maximum' of six authors.
% Add names, affiliations, addresses for
% the seventh etc. author(s) as the argument for the
% \additionalauthors command.
% These 'additional authors' will be output/set for you
% without further effort on your part as the last section in
% the body of your article BEFORE References or any Appendices.

\numberofauthors{2} %  in this sample file, there are a *total*
% of EIGHT authors. SIX appear on the 'first-page' (for formatting
% reasons) and the remaining two appear in the \additionalauthors section.
%
\author{
% You can go ahead and credit any number of authors here,
% e.g. one 'row of three' or two rows (consisting of one row of three
% and a second row of one, two or three).
%
% The command \alignauthor (no curly braces needed) should
% precede each author name, affiliation/snail-mail address and
% e-mail address. Additionally, tag each line of
% affiliation/address with \affaddr, and tag the
% e-mail address with \email.
%
% 1st. author
%Author 1
\alignauthor
Cinzia Di Giusto\\
       \affaddr{CEA, LIST}\\
       \affaddr{Saclay, France}\\
       \email{cinzia.digiusto\,@gmail.com}
\and 
\alignauthor Jorge A. P\'{e}rez\\
       \affaddr{CITI and Department of Informatics}\\
       \affaddr{FCT - New University of Lisbon, Portugal}\\
       \email{japerezp\,@gmail.com} 
}
% There's nothing stopping you putting the seventh, eighth, etc.
% author on the opening page (as the 'third row') but we ask,
% for aesthetic reasons that you place these 'additional authors'
% in the \additional authors block, viz.
%\additionalauthors{Additional authors: John Smith (The
%Th{\o}rv{\"a}ld Group, email: {\texttt{jsmith@affiliation.org}})
%and Julius P.~Kumquat (The Kumquat Consortium, email:
%{\texttt{jpkumquat@consortium.net}}).}
%\date{30 July 1999}
% Just remember to make sure that the TOTAL number of authors
% is the number that will appear on the first page PLUS the
% number that will appear in the \additionalauthors section.


\maketitle
\begin{abstract}
\emph{Session types} offer a powerful
%have been intensively studied as 
%formal models 
 type-the\-o\-ret\-ic foundation for the analysis of 
%complex scenarios of 
structured communications, as commonly found in serv\-ice-oriented systems.
They are defined upon core programming calculi which offer only limited support 
%lack explicit constructs 
for expressing adaptation and evolvability requirements.
This is unfortunate, as serv\-ice\--ori\-ented systems are increasingly being deployed upon %open, 
highly dynamic infrastructures in which such requirements are 
%fundamental 
central concerns.
%central in ensuring reliable system operation. % and business agility.
In previous work, we developed a process calculi framework of \emph{adaptable processes},
in which concurrent processes can be replaced,  suspended, or discarded at runtime.
%as an attempt to enhance process calculi specifications with evolvability concerns.
In this paper, we %extend %integrate adaptable processes into 
propose a session types discipline for a calculus with adaptable processes. 
%The resulting 
Our framework offers an alternative for integrating runtime adaptation mechanisms  in 
the analysis of structured communications.
We show that well-typed processes enjoy \emph{consistency}:
communicating behavior is never interrupted by evolvability actions. 
\end{abstract}

% A category with the (minimum) three required fields
%\category{H.4}{Information Systems Applications}{Miscellaneous}
%A category including the fourth, optional field follows...
%\category{D.2.8}{Software Engineering}{Metrics}[complexity measures, performance measures]

%\terms{Delphi theory}

%\keywords{ACM proceedings, \LaTeX, text tagging}

%\vspace{-2mm}
%\input{todosac}

\input{intro}

\input{syntax2}



\input{types}
%

%
\input{theorems}

\input{exserver}

\input{interface}

\input{conclud}

%{\small
\bibliographystyle{abbrv}
\bibliography{DSbib,referen}
%}

%\newpage
%\appendix
%%

%\input{appendix}

\end{document}
